Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
851	Symbolic Execution for Software Testing in Practice – Preliminary Assessment Imperial College London Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-04-25 20:08:55 Computing Concolic testing Symbolic execution Java Pathfinder Test Data Generation Fuzz testing KeY Model checking Dynamic program analysis Software testing Formal methods Software development
852	Notice of Funding Opportunity (NOFO) Theory of Change And Logic Models Add to Reading List Source URL: nevadavolunteers.org Language: English - Date: 2014-11-04 14:23:09 Thought Logic model Logic Scientific modelling Participatory impact pathways analysis Program evaluation Evaluation methods Evaluation Science
853	Posters Architecture/HiPC Mansureh Shahraki Moghaddam Tripti S Warrier Gayathri Ananthanaryananan Karveer Manwade Add to Reading List Source URL: www.cse.iitd.ac.in Language: English - Date: 2014-12-26 07:13:09 Computing Mathematical optimization Program optimization Data management Wireless sensor network Database Science Data analysis Data mining Cloud computing
854	Kinematic Analysis of a Space Mechanism—Rendezvous Simulator Add to Reading List Source URL: www.abhinavjournal.com Language: English - Date: 2013-12-17 06:07:19 Creativity Educational psychology Problem solving Entrepreneur Business Mind Psychology Knowledge entrepreneurship Ryerson University Entrepreneurship Program Entrepreneurship Innovation Cognition
855	CONTINUING MEDICAL EDUCATION ACTIVITY OUTCOMES MEASUREMENT ANALYSIS To maintain accreditation the SMCS CME Program must evaluate the effectiveness of its CME activities in meeting identified education needs, which incl Add to Reading List Source URL: www.suttermedicalcenter.org Language: English - Date: 2011-06-24 18:27:02 Medical education Continuing medical education
856	INFORMATION BULLETIN Enterprise GIS Background Since the establishment of a GIS Committee in the fall of 1993, the City-Parish has strived to implement the “Parishwide” Geographic Information System (GIS) Program. Pa Add to Reading List Source URL: www.brgov.com Language: English - Date: 2015-05-07 13:28:36 Software Geospatial analysis Oracle Database Enterprise GIS Geography Measurement Geographic information systems in geospatial intelligence TeleCAD-GIS Geographic information systems Cartography Geodesy
857	Cyber and Data Risk Evaluating Program Effectiveness and Examination Readiness Digital Commerce & Payments Series Webinar February 4, 2015 Add to Reading List Source URL: www.buckleysandler.com Language: English - Date: 2015-03-18 15:54:54 Computer security Data security Actuarial science Risk analysis Risk Information security IT risk Emergency management IT risk management Security Management Public safety
858	Project Approval Lifecycle Introduction Add to Reading List Source URL: www.cio.ca.gov Language: English - Date: 2014-12-30 16:23:24 Technology Systems development life-cycle Business analysis Program management Simulation Business case Project management Business Management
859	An Analysis of the Beverage Container Recycling Program MAC TAY L O R Add to Reading List Source URL: www.lao.ca.gov Language: English - Date: 2015-04-28 11:20:49 Environment California Redemption Value Container deposit legislation in the United States Recycling bin Recycling Glass recycling Electronic waste Plastic recycling Litter Recycling in the United States Waste management Sustainability
860	Comparative Analysis of Utility Services & Rates in California California Public Utilities Commission Policy & Planning Division Reagan R. Rockzsfforde Add to Reading List Source URL: www.cpuc.ca.gov Language: English - Date: 2015-06-08 07:57:10 California Public Utilities Commission Renewable energy policy Electric power distribution Energy Rebate Program Energy Pacific Gas and Electric Company Electric power

UPDATE